Từ hình ảnh đến đại số: Tách bỏ phép thế lượng bằng phức tạp
Công thức cốt lõi của định lý Pythagore tiết lộ mối quan hệ bằng nhau giữa bình phương ba cạnh của tam giác vuông. Nhờ vào Hình Cung Trương Sưởng, ta có thể dễ dàng thiết lập đẳng thức diện tích và chứng minh triệt để định lý này:
Quan sát hình Cung được ghép lại,Tổng diện tích hình vuông lớncó thể tính theo hai cách sau:
Phương pháp 1: Tính trực tiếp hình vuông lớn (cạnh dài c), diện tích là $c^2$.
Phương pháp 2: Tính riêng từng phần bên trong, tức là tổng diện tích của 4 tam giác vuông cộng với diện tích hình vuông nhỏ ở giữa.
Theo phương pháp 2, lập biểu thức đại số: $4 \times (\frac{1}{2}ab) + (b-a)^2$.
Mở rộng hạng tử bình phương đầy đủ: $2ab + (b^2 - 2ab + a^2)$.
Kết hợp các số hạng tương tự, loại bỏ $2ab$ và $-2ab$, thu được kết quả cuối cùng hoàn hảo: $a^2 + b^2$.
Do đó, $a^2 + b^2 = c^2$ được chứng minh!
Biến thể mô hình: Phương pháp hình thang của Tổng thống Garfield
Không phải ngẫu nhiên, năm 1876, Tổng thống thứ 20 của Mỹ James Garfield đã đưa ra phương pháp chứng minh hình thang dựa trên logic ghép tương tự. Ông chỉ sử dụng hai tam giác vuông đồng dạng, ghép lệch vuông góc với nhau, rồi nối các đỉnh để tạo thành một hình thang vuông. Nhờ công thức diện tích hình thang $\frac{1}{2}(a+b)(a+b)$ bằng tổng diện tích ba tam giác bên trong (bao gồm một tam giác vuông cân), ông đã suy luận tinh tế ra $a^2 + b^2 = c^2$.
Ứng dụng ngược và thuận của định lý Pythagore trong thực tế
Trong thực tế đo đạc và xây dựng, định lý Pythagore là công cụ hữu hiệu để tìm khoảng cách chưa biết. Ví dụ, biết chiều dài cạnh của khung giàn tam giác đều là $6$, kỹ sư không cần đo trực tiếp mà chỉ cần vẽ một đường cao chia đôi nó thành hai tam giác vuông. Nhờ công thức $3^2 + \text{chiều cao}^2 = 6^2$, ta lập tức tính được chiều cao là $3\sqrt{3}$.
Tương tự, nếu một người đi về hướng Đông $80\text{m}$ trên mặt đất phẳng, rẽ sang hướng khác đi $60\text{m}$, rồi đi thêm $100\text{m}$ trở về điểm xuất phát. Vì $80^2 + 60^2 = 100^2$ phù hợp hoàn hảo với công thức cốt lõi (tức là bộ ba Pythagore kinh điển 3-4-5 mở rộng gấp 20 lần), điều đó chứng tỏ lần rẽ đầu tiên của anh ấy chắc chắn tạo thành góc vuông $90^\circ$! Đây chính là minh chứng tuyệt vời cho việc áp dụng định lý đảo của Pythagore trong xác định vị trí đường đi thực tế.